基于遗传算法的嵌入式软件测试用例生成系统研究

综合考虑了嵌入式软件的特点，将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题，合理构建了嵌入式软件测试用例自动生成系统，给出了系统流程图，改进了部分算子，使搜索效果得以加强，并分析了交叉率、变异率等参数的取值范围，通过改变不同的参数值得到对比图，以确定适合该系统的最佳参数值，并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试，从理论和实践上证明了该思路的正确性和可行性。     

基于加速性能退化的雷达电源板可靠性评估

评估雷达系统可靠性时,失效寿命难以获得,性能退化数据成为评估可靠性的重要信息。对其中器件级信息充足,板级、分系统级、系统级现场试验信息缺乏,而收集这些部分的退化数据仍需较长时间,以雷达某一部分的整体为研究对象进行加速退化试验,验证是否存在累积效应及有规律的退化过程。以某雷达电源整板为例,在温度应力下进行恒加加速退化试验,观测到特征退化量电源板输出电压随温度变化的退化规律,进行统计推断。结果表明基于加速退化数据进行该部分可靠性分析方法可行、结果可信,且更具优势,为雷达系统可靠性评估及增强可信度奠定基础。     

鱼雷加速可靠性试验体系

随着鱼雷技术的发展,传统模拟试验越来越难以发现其潜在缺陷,从而难以提高鱼雷武器可靠性和质量水平。加速可靠性试验体系一改传统试验做法,可使鱼雷产品可靠性得到进一步提高。主要对加速试验体系中ALT、HALT、HASS试验的国内外发展现状、理论及其在鱼雷上的应用进行了概述。     

火炮炮闩击发机构可靠性强化试验技术

为提高炮闩的试验效率和可靠性,将可靠性强化试验理论引入其可靠性研究中。以火炮炮闩为强化试验载体,基于虚拟样机技术对击发机构磨损失效进行强化试验研究,依据受力分析确定了增大击针簧刚度的强化试验技术,通过仿真试验和分析,结果表明机构磨损量强化系数随强化应力水平的提高而变大,所确定的强化试验技术加快了零部件失效进程,有利于缩减可靠性试验的时间,为可靠性强化试验在装备机械系统中的应用提供理论和技术支撑。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

铁路区间信号系统测试评估平台——自动闭塞移频信号的数据采集及验证

铁路区间信号系统测试评估平台中数据采集和验证子系统研究移频信号的数据采集、A/D转换和信号显示,移频信号的处理是对被测系统发送和接收的移频信号的载频和调制低频鉴频鉴幅,进行验证,为测试评估平台对被测系统的功能、可靠性和安全性评估作必要的数据准备.     

软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

Development programs for one‐shot systems using multiple‐state design reliability models

Design reliability at the beginning of a product development program is typically low, and development costs can account for a large proportion of total product cost. We consider how to conduct development programs (series of tests and redesigns) for one‐shot systems (which are destroyed at first use or during testing). In rough terms, our aim is to both achieve high final design reliability and spend as little of a fixed budget as possible on development. We employ multiple‐state reliability models. Dynamic programming is used to identify a best test‐and‐redesign strategy and is shown to be presently computationally feasible for at least 5‐state models. Our analysis is flexible enough to allow for the accelerated stress testing needed in the case of ultra‐high reliability requirements, where testing otherwise provides little information on design reliability change. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

基于RBF网络加速模型的可靠性评估

在可靠性加速试验中,由于各种不同的应力引起的失效机理不一样,不同应力之间可能还存在着相互耦合作用,要将它们和寿命结合,找出一个能真实描述客观情况的加速模型是相当困难的,仅仅依据有限的试验数据建立产品的加速模型存在很大难度和风险,为此提出了一种基于RBF网络加速模型的可靠性评估方法．该方法将加速寿命试验中的加速应力和可靠度作为训练网络的输入向量,相应的时间作为目标向量对网络进行训练,根据网络收敛速和误差精度等情况调整隐含层单元个数,直至得到最优的网络．最后,以实例说明了该方法的有效性和实用性．     

Group testing procedures with quantitative features and incomplete identification

We present a group testing model for items characterized by marker random variables. An item is defined to be good (defective) if its marker is below (above) a given threshold. The items can be tested in groups; the goal is to obtain a prespecified number of good items by testing them in optimally sized groups. Besides this group size, the controller has to select a threshold value for the group marker sums, and the target number of groups which by the tests are classified to consist only of good items. These decision variables have to be chosen so as to minimize a cost function, which is a linear combination of the expected number of group tests and an expected penalty for missing the desired number of good items, subject to constraints on the probabilities of misclassifications. We treat two models of this kind: the first one is based on an infinite population size, whereas the second one deals with the case of a finite number of available items. All performance measures are derived in closed form; approximations are also given. Furthermore, we prove monotonicity properties of the components of the objective function and of the constraints. In several examples, we study (i) the dependence of the cost function on the decision variables and (ii) the dependence of the optimal values of the decision variables (group size, group marker threshold, and stopping rule for groups classified as clean) and of the target functionals (optimal expected number of tests, optimal expected penalty, and minimal expected cost) on the system parameters.© 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011